Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
axiomatic semantics - перевод на русский
APPROACH BASED ON MATHEMATICAL LOGIC FOR PROVING THE CORRECTNESS OF COMPUTER PROGRAMS; CLOSELY RELATED TO HOARE LOGIC; DEFINE THE MEANING OF A COMMAND IN A PROGRAM BY DESCRIBING ITS EFFECT ON ASSERTIONS ABOUT THE PROGRAM STATE
axiomatic semantics
математика
аксиоматическая семантика
meaningful
SEMANTICS IN ALL CATEGORIES
Semantic; Semantically; Semantician; Sematics; Meaning (linguistics); Meaning (linguistic); Semantics (linguistics); Meaningful; Semanticist; Cognitive meaning; Linguistic semantics; Linguistic meaning; Sepersontics; Cognitive meanings; Psychological semantics; Meaningfulness; Natural language semantics; Psychosemantics; Theories of semantics; Cross-cultural semantics; Semantics (natural language); Semantics (philosophy); History of semantics
meaningful adj. многозначительный, выразительный
semanticist
SEMANTICS IN ALL CATEGORIES
Semantic; Semantically; Semantician; Sematics; Meaning (linguistics); Meaning (linguistic); Semantics (linguistics); Meaningful; Semanticist; Cognitive meaning; Linguistic semantics; Linguistic meaning; Sepersontics; Cognitive meanings; Psychological semantics; Meaningfulness; Natural language semantics; Psychosemantics; Theories of semantics; Cross-cultural semantics; Semantics (natural language); Semantics (philosophy); History of semantics
[si'mæntisist]
существительное
общая лексика
специалист по семантике
Определение
axiomatic semantics
<theory> A set of assertions about properties of a system and
how they are effected by program execution. The axiomatic
semantics of a program could include pre- and post-conditions
for operations. In particular if you view the program as a
state transformer (or collection of state transformers), the
axiomatic semantics is a set of invariants on the state which
the state transformer satisfies.
E.g. for a function with the type:
sort_list :: [T ] -> [T ]
we might give the precondition that the argument of the
function is a list, and a postcondition that the return value
is a list that is sorted.
One interesting use of axiomatic semantics is to have a
language that has a finitely computable sublanguage that is
used for specifying pre and post conditions, and then have the
compiler prove that the program will satisfy those conditions.
See also operational semantics, denotational semantics.
(1995-11-09)
Википедия
Axiomatic semantics
Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs. It is closely related to Hoare logic.
Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the program state. The assertions are logical statements—predicates with variables, where the variables define the state of the program.
